Computer simulation - PDFSEARCH.IO - Document Search Engine

Computer simulation
Results: 2770

#	Item
921	PRO DUCT BRI EF ExaCLOUD ExaCLOUD provides engineers from companies of all sizes access to the premier suite of Add to Reading List Source URL: exa.com Language: English - Date: 2014-12-03 17:32:35 Logic design Logic simulation Simulation Cyberinfrastructure Web-based simulation Computer simulation Electronic engineering Electronic design automation Simulation software
922	Using MCMC Sampling to Calibrate a Computer Model of a Geothermal Field Tiangang Cui Colin Fox Add to Reading List Source URL: www.stats.ox.ac.uk Language: English - Date: 2009-10-08 10:55:44 Computational science Aerodynamics Chemical engineering Fluid dynamics Piping Computer simulation Inverse problem Relative permeability Estimation theory Materials science Science Physics
923	Geosci. Model Dev., 4, 435–449, 2011 www.geosci-model-dev.netdoi:gmd © Author(sCC Attribution 3.0 License. Geoscientific Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2014-12-04 04:01:00 Computational science Partial differential equations Formal verification Logic in computer science Theoretical computer science Computer simulation Computational fluid dynamics Mathematical model Navier–Stokes equations Mathematics Science Applied mathematics
924	Model-Driven Simulation of Grid Scheduling Strategies Hui Li†∗ † Leiden Institute of Advanced Computer Science (LIACS), Leiden University Add to Reading List Source URL: www.cloudbus.org Language: English - Date: 2007-07-19 04:46:05 Time series analysis Parallel computing Teletraffic Job scheduler Grid computing Computer cluster Long-range dependency Autocorrelation SimGrid Concurrent computing Computing Statistics
925	Hydrol. Earth Syst. Sci., 13, 1757–1764, 2009 www.hydrol-earth-syst-sci.net/ © Author(sThis work is distributed under the Creative Commons Attribution 3.0 License. Hydrology and Add to Reading List Source URL: www.hydrol-earth-syst-sci.net Language: English - Date: 2014-12-04 02:31:15 Physical geography Hydrological modelling Runoff model Water balance Computer simulation Drainage basin Groundwater model Scientific modelling Economic model Water Hydrology Earth
926	AI & Soc DOIs00146ORIGINAL ARTICLE Usefulness of simulating social phenomena: evidence Add to Reading List Source URL: dl.ucd.ie Language: English - Date: 2011-07-24 03:27:37 Ethology Knowledge Complex systems theory Social simulation Agent-based model Computer simulation Scientific modelling Agent-based social simulation Economic model Scientific modeling Science Simulation
927	PART 2: Proposed Research and Yu formally described a substantial subset of the Motorola MC68020 processor in the logic of the Boyer-Moore prover and used the resulting model to verify compiler generated object code for Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-06-02 11:31:35 Mathematical software Formal verification KeY ARM architecture Model checking Computer security ACL2 Software development process Logic simulation Electronic engineering Theoretical computer science Formal methods
928	DISCOVER Vol. 20 No. 9 (SeptemberTable of Contents Future Tech: Virtual Reality 2.0 Add to Reading List Source URL: www.cs.unc.edu Language: English - Date: 2003-02-27 01:25:35 User interface techniques Humanâ€“computer interaction Cave automatic virtual environment Jaron Lanier Virtual world Immersion Simulation Telepresence Virtuality Virtual reality Reality Mixed reality
929	egu_logo_without_circle_grey Add to Reading List Source URL: www.geosci-model-dev.net Language: English - Date: 2014-12-04 04:22:29 Earth Scientific modeling Physical oceanography Drifter Fishing in Scotland Global climate model Oil spill Computer simulation Simulation Science Computational science Oceanography

UPDATE